<?php

interface stdClass { }

?>
